#include "lib.h"


void
exit(void)
{
	//close_all();
	syscall_env_destroy(0);
}


struct Env *env;

void
libmain()
{
	// set env to point at our env structure in envs[].
	env = 0;	// Your code here.

	int envid;
	//^envid = sys_getenvid();
	//^envid = ENVX(envid);
	//^env = &envs[envid];
	// call user main routine
	umain();
	// exit gracefully
	exit();
	//syscall_env_destroy(0);
}
